Proposition 3.1.8 (Universal property of K0)
Let be a unital -algebra , let be an abelian group, and suppose that is a map with the following properties: